161. Enterprise integration and information architecture :a systems perspective on industrial information integration
المؤلف: Xu, Li Da., Li Da Xu
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Management information systems,Computer networks ، Business enterprises,، Software architecture,، BUSINESS & ECONOMICS / Information Management,، TECHNOLOGY & ENGINEERING / Engineering )General(,، COMPUTERS / Information Technology
رده :
HD
30
.
213
.
X8E5
162. Environmental software systems :
المؤلف: edited by Jiří Hřebíček, Ralf Denzer, Gerald Schimak, Tomáš Pitner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cloud computing, Congresses.,Environmental sciences-- Data processing, Congresses.,Sensor networks, Congresses.,Ubiquitous computing, Congresses.,Artificial intelligence.,Cloud computing.,Computer modelling & simulation.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Environmental sciences-- Data processing.,Information retrieval.,Information technology: general issues.,Network hardware.,Sensor networks.,Software Engineering.,Ubiquitous computing.
رده :
QA76
.
76
.
A65
163. Essenz der Informatik
المؤلف: Claudio Franzetti
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digitalisierung,Informatik,Informationstechnik,Programmierung
164. Ethical and secure computing :
المؤلف: Joseph Migga Kizza.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security.,Computers-- Moral and ethical aspects.,Computer security.,Computers-- Moral and ethical aspects.
رده :
QA76
.
9
.
A25
K59
2019
165. Euro-Par 2011 Parallel Processing
المؤلف: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
166. Evolving knowledge bases :
المؤلف: João Alexandre Leite.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
رده :
QA76
.
63
.
L48
2003eb
167. Exploring the Raspberry Pi 2 with C++
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.,Computer Science.,Operating Systems.,Software Engineering.
رده :
QA76
.
758
168. Fault Prediction Modeling for the Prediction of Number of Software Faults /
المؤلف: Santosh Singh Rathore and Sandeep Kumar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
R44
169. Formal Methods and Software Development :
المؤلف: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
170. Formal aspects of component software :
المؤلف: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
171. Formal methods :
المؤلف: Tiago Massoni, Mohammad Reza Mousavi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
172. Formal methods and software engineering :
المؤلف: Jing Sun, Meng Sun (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
173. Formal methods for industrial critical systems :
المؤلف: Falk Howar, Jiří Barnat (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
174. Formal modeling and analysis of timed systems :
المؤلف: David N. Jansen, Pavithra Prabhakar (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
175. Formal techniques for distributed systems :
المؤلف: Holger Giese, Grigore Rosu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
176. Fortran 2018 with parallel programming /
المؤلف: Subrata Ray
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
رده :
QA76
.
73
.
F25
R39
2020eb
177. Foundations of Java for ABAP programmers /
المؤلف: Alistair Rooney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Java (Computer program language),Object-oriented programming (Computer science),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,Java (Computer program language),Java (Computer program language),Object-oriented programming (Computer science),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
J38
R665
2006eb
178. Foundations of software science and computation structures :
المؤلف: Christel Baier, Ugo Dal Lago (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
179. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
المؤلف: edited by S.N. Maheshwari
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
180. Frontier computing :
المؤلف: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
